Binary Decision Diagrams for First Order Predicate Logic - Groote(Correct)
need not be considered. Moreover, using a smart weight function certain unifiers get priority above
containing all non circular sets. The original formulation of this theorem is 9y8x(F (x y) 9z(F (x
The Netherlands email: JanFriso.Groote@phil.ruu.nl Abstract We present an extension of Binary Decision ftp.phil.uu.nl/pub/logic/PREPRINTS/preprint127.ps.Z
Variational Calculation of the Temperature Jump for a.. - Cercignani, Lampis..(Correct)
of the cross-section, the operator L is self- adjointand (h Lh) 0. The perturbation h due to the Variational Calculation of the Temperature Jump for a Variational Calculation of the Temperature Jump for a Polyatomic Gas Carlo Cercignani, Maria Lampis, ipmma4.mate.polimi.it/~ftp/pub/techreports/marlam.oxftem.ps
Sinc Methods for Domain Decomposition - Lybeck, Bowers(Correct)
the residual against each basis function using aweighted inner product yields (Lu \Gamma f S j )0
Methods For Domain Decomposition Nancy J. Lybeck Y And Kenneth L. Bowers Y Abstract. Sinc Basis www.math.montana.edu/~bowers/publications/dd1.ps
Constrained GA optimization - Schoenauer, al. (1993)(Correct)(33 citations)
on the feasible region) or penalty function (weighted sum of the constraints violations and the
of the 5th International Conference on Genetic Algorithms, Urbana Champaign, 1993. Marc Schoenauer www.eeaax.polytechnique.fr/papers/marc/icga93.ps.gz
Balancing Domain Decomposition: Theory And Performance In Two .. - Mandel, Brezina (1993)(Correct)(8 citations)
element discretization of a linear, elliptic, self-adjoint boundary value problem on a domain\Omega\Gamma
Neumann-Neumann preconditioner is the selection of weight matrices D i that form a decomposition of unity
will play the role of a coarse space just as in variational multigrid methods [20]We say that s 2 V is ftp.ccs.uky.edu/mgnet/papers/Mandel-Brezina/balance.ps.gz
Quasi-Minimum-BER Linear Combiner Equalizers - Jos'e Tellado (1998)(Correct)(1 citation)
Mean Square Error (MMSE) Equalizers choose the tap weight coefficients to minimize the mean square value of
of this new family of equalizers. 2 Problem Formulation b n k x k k p Receiver Channel z k k-D
Linear Combiner Equalizers Jos'e Tellado and John M. Cioffi Information Systems Laboratory, www-isl.stanford.edu/people/jtellado/MinPerrEq.ps
Complex WKB Method for 3-Level Scattering Systems - Joye, Pfister (1997)(Correct)
the real axis if H(t ffi) is analytic and self- adjoint on the real axis [K]Hence, any solution /t)
Complex WKB Method for 3-Level Scattering Systems Alain Joye and Charles-Edouard Pfister y April mpej.unige.ch/mp_arc/html/html/c/96/96-391.ps.gz
Issues in Autonomous Mobile Robot Navigation - Singhal (1997)(Correct)(1 citation)
sign. The learning rule used for updating of weights of the neurons is given by: w k (n) w k (n
The first approach relies on a space-time formulation. Given the predicted motion of all the
Issues in Autonomous Mobile Robot Navigation Amit Singhal 1 www.cs.rochester.edu/research/mobile/docs/areapaper.ps.gz
Process Optimization Of Reactive Systems By.. - von Schwerin.. (1998)(Correct)
DAE, but it requires good initial guesses for the adjoint variables and for the bang-off-bang switching are given as well. 1 Motivation and problem formulation Process optimization plays an important role
Marianne von Schwerin 1 Olaf Deutschmann 1 and Volker Schulz 2 1 Interdisciplinary Center for www.ica3.uni-stuttgart.de/~volker/papers/process.ps.gz
A Linear Logical Framework - Cervesato, Pfenning (1996)(Correct)(39 citations) a tool to partially automate checking that these weights respect it. Lemma 2.23 (Upper bound on the size
type-checking. Finally, it describes a canonical formulation of this language, which forms the basis for A Linear Logical Framework Iliano Cervesato and www.cs.cmu.edu/~fp/papers/llf97.ps.gz